#pragma once

typedef enum ConstraintAttrType;
typedef enum ConstraintType;

/*!
Used by the Constraint Table on with-clauses
Example: p.procName, procName is one attribute.
*/
enum ConstraintAttrType {
	CONSTRAINT_ATTR_INVALID , NONE, PROC_NAME, STMT_INDEX, VALUE, VAR_NAME
};

enum ConstraintType {
	WITH_INVALID, WITH_STRING, WITH_INTEGER
};